A Perspective on Component Refinement
نویسنده
چکیده
This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).
منابع مشابه
ارزیابی کاربردپذیری سامانه مدیریت کتابخانه‌های عمومی کشور (سامان) بر اساس اصول دهگانه نیلسون
Purpose: evaluation of the user interface of the management system of Iran Public Libraries Foundation (Saman) is the main aim of the paper. Saman is a newly developed web based and integrated library software that seemingly works as a library OPAC. Methodology: This research is an applied study and tries to investigate the usability standards of Saman website through heuristic evaluation met...
متن کاملFormal Methods for Component Software: The Refinement Calculus Perspective
We exhibit the benefits of using formal methods for constructing and documenting component software. Formal specifications provide concise and complete descriptions of black-box components and, herewith, pave the way for full encapsulation. Specifications using abstract statements scale up better than prepostconditions and allow for ‘relative’ specifications because they may refer to other comp...
متن کاملA Model-driven Approach to Predictive Non Functional Analysis of Component-based Systems
We present an approach to the predictive analysis of non functional properties of component-based software systems. According to a model-driven perspective, the construction of a model that supports some specific analysis methodology is seen as the result of a sequence of refinement steps, where earlier steps can be generally shared among different analysis methodologies. We focus in particular...
متن کاملCompositional Specification of Parallel Components Using Circus
The # (hash) component model aims to take advantage of a component-based perspective of software for the development of high-performance computing applications targeted at parallel distributed architectures. This paper presents an approach for specifying #-components using Circus, to provide the ability of reasoning about behavioral and functional properties of #-components and their compositio...
متن کاملExplaining the Educational Goals of Children with Emphasis on the Virtuous Approach from the Perspective of Khajeh Nasir al-Din Tusi
Paying attention to the field of moral education of children in the works of Khajeh Nasir al-Din Tusi is important. The most important source which explains children's moral issues is the book of Nasiri ethics. In the second article of this book, i.e. house management and the policy of the family and children, Khajeh has discussed the education of children. He explains his educational method by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004